לתיכנות עם MATLAB Lecture 5: Boolean logic and Boolean expressions

Transcription

1 מבוא לתיכנות עם MATLAB Lecture 5: Boolean logic and Boolean expressions Written by Prof. Reuven Bar-Yehuda, Technion 2013 Based on slides of Dr. Eran Eden, Weizmann

2 >>g = [ ]; >>p = [ ]; ביטויים לוגיים דוגמא: תקינות אקדמית ממוצע %%%%%%% >>sum(g.*p)/sum(p) אחוזי הצלחה %%%%%%% >>sum(p.*(g>=55))/sum(p) תקינות אקדמית %%%%%%% 1 >>sum(g.*p)/sum(p) >= 65 && sum(p.*(g>=55))/sum(p) > 2/3 1 2

3 Operator Precedence Parentheses () Transpose (. ), power (.^), complex conjugate transpose ( ), matrix power (^) Unary plus (+), unary minus ( ), logical negation (~) Multiplication (.*), right division (./), left division(.\), matrix multiplication (*), matrix right division (/), matrix left division (\) Addition (+), subtraction ( ) Colon operator (:) Less than (<), less than or equal to (<=), greater than (>), greater than or equal to (>=), equal to (==), not equal to (~=) Element wise AND (&) Element wise OR ( ) Short circuit AND (&&) Short circuit OR ( ) 3

4 Boolean logic What is boolean logic? Why do we need boolean logic? Any expression in Matlab is associated with a true/false value. 0 false 1 true (Actually everything besides 0 is true by default) 4

5 Boolean logic Examples: >> x = 4; >> y = 0; >> z = -2 * 2; Expression Value x true y false z true x + z false x * y false 5

6 Boolean logic You can create variables with logical values Examples: >> a = true a = 1 >> b = false b = 0 >> a + b 1 >> a * b 0 6

7 Relational operators What are relational operators? < (Less than) > (Greater than) <= (Less than or equal to) >= (Greater than or equal to) == (Equal to) ~= (Not equal to) Why do we need relational operators? Watch out! Common mistakes: (1)Don t confuse = and == (2)<= and NOT =< (3)>= and NOT => The purpose of the relational and logical operations is to provide true/false answers to questions that compare between objects 7

8 Relational operators Examples: >> x = 5; >> y = 6; 10 < x < 20 0 < 20 Expression Value x < y true x <= y true 4 > 5 false x == 5 true x ~= y true x + 1 y == 0 true 10 < x < 20 true 1 8

9 Relational operators One of the powerful things about Matlab is that relational operations also work on arrays Example >> x = 1 : 8; x = >> y = 8 : -1 : 1; y = >> bool_res = x > y bool_res =

10 Relational operators A bit more complicated example: x = 1 : 0.1 : 8 * pi; plot(x, sin(x)); plot(x, (sin(x) > 0).* sin(x), 'r'); 10

11 Logical operators What are logical operators? They provide a way to combine or negate relational expressions Logical operators Description && AND OR ~ NOT 11

12 Logical operators We can specify each logical operator using a truth table AND OR NOT x y x && y x y x y x ~x

13 Logical operators In a previous slide we saw that >> x = 5 >> 10 < x < 20 1 We can use logical operators to fix this. Write a statement that is true only if x is bigger than 10 AND smaller than 20. >> x = 5 >> (10 < x) && (x < 20) 0 This statement is true in matlab!#?@ 13

14 Logical operators More examples: >> x = 1; y = 2; z = 3; Expression Value 4 && -5 true ~0 true y > z && y > x false ~( y > z y > x ) false (1 <= x) ~((x * z / 3) < y) (((y + z) 4 * x) > 2) (y > 10) && ~(1 <= x + y) && (x^3 + y^3 > z ^2) true false 14

15 Controlling precedence using parentheses >> x = false; >> y = true; >> x && y true 1 >> x && (y true) 0 15

16 Logical operators Logical operators can be easily applied to arrays: Logical operator & Description Element-wise AND Element-wise OR ~ Not Common mistakes Please notice: The difference between & and && The difference between and 16

17 Logical operators Example of element-wise logical operators >> x = 1 : 8; x = >> y = 8 : -1 : 1; y = >> bool_res = x > y bool_res = >> (x > y) & (y <= 2) >> (x < 2) (y < 2) >> bool_res_neg = ~(x > y) bool_res_neg =

18 קדימויות בין אופרטורים כשלא משתמשים בסוגריים, על האופרטור. לאופרטור & יש קדימות פעולות חשבון קודמות לאופרטורים של השוואה, קודמים לאופרטורים לוגיים. דוגמא: c<0 L = a>3 & b^2<8 ככלל, מומלץ להשתמש בסוגריים כדי לקבוע את סדר ביצוע הפעולות: L = (a>3)&((b^2<8) (c<0)) ואלו 18

19 חישוב עצל של אופרטורים לוגיים כדי לחסוך בזמן ריצה, קיימים במטלב אופרטורים לוגיים && ו-, העוצרים את החישוב ברגע שערכו אינו ניתן לשינוי. (a>3) &&((b^2<8) (c<0)) אם a אינו גדול מ 3, ערכו של הביטוי הוא בהכרח,(false) 0 והחישוב (( b^2<8) (c<0 ))לא יתבצע. 19 הערה: חישוב עצל עלול לשנות את סדר הקדימויות הסטנדרטי: >> (a>3) && (b^2<8) (c<0 ) 0 >> (a>3) & (b^2<8) (c<0 ) 1

20 Operator Precedence Parentheses () Transpose (. ), power (.^), complex conjugate transpose ( ), matrix power (^) Unary plus (+), unary minus ( ), logical negation (~) Multiplication (.*), right division (./), left division(.\), matrix multiplication (*), matrix right division (/), matrix left division (\) Addition (+), subtraction ( ) Colon operator (:) Less than (<), less than or equal to (<=), greater than (>), greater than or equal to (>=), equal to (==), not equal to (~=) Element wise AND (&) Element wise OR ( ) Short circuit AND (&&) Short circuit OR ( ) 20

21 ביטויים לוגיים דוגמא: תקינות אקדמית >>g = [ ]; >>p = [ ]; ממוצע %%%%%%% >>sum(g.*p)/sum(p) אחוזי הצלחה %%%%%%% >>sum(p.*(g>=55))/sum(p) 1 תקינות אקדמית %%%%%%% >>sum(g.*p)/sum(p) >= 65 && sum(p.*(g>=55))/sum(p) > 2/3 סדר פעולות

22 המרה אוטומטית בין מספרים לערכים לוגיים כאשר מטלב מבצעת פעולה חשבונית או לוגית, היא ממירה באופן אוטומטי את הערכים עליהם מבוצעת הפעולה כך שיתאימו לפעולה: >> (1==1) + (2<=3) 2 >> >> ( (5+1)*2) & (4-4) 0 >> (2*(2==2))^2 + 3*true + false

23 Array indexing using logical operators Example: Get the IDs of all the employees who got a salary above 5000 and worked less than 10 days a month. >> salary = [1000, 7000, 6000, 3000, 8000]; >> work_days = [20, 8, 28, 5, 7]; >> ids = [100007, , , , ]; salary > work_days < (salary > 5000) & (work_days < 10) >> ids((salary > 5000) & (work_days < 10))

24 Sub-array searching The find operation >> x = [ ]; >> find(x == 2) 1 6 >> find(x > 3) Finds indices of all values equal to 2 Finds indices of all values bigger than 3 How do we get the values in x that are larger than 3? How do we get the value in x that is larger than 3 and is most to the right? 24

25 פונקצית find שימוש שכיח במשתנים לוגיים: שליפת ערכים המקיימים תנאי נתון. >> x = [ ]; >> L = x > 3 L = >> indices = find(l) indices = פונקצית find מקבלת מערך לוגי L, ומחזירה מערך המכיל את האינדקסים i עבורם L(i)=true 25

26 פונקצית find שימוש שכיח במשתנים לוגיים: שליפת ערכים המקיימים תנאי נתון. כאשר N הוא מערך מספרים, find(n) תחזיר את האינדקסים של המספרים השונים מאפס ב N )למה?( >> N=[ ]; >> find(n)

27 פונקצית find על מערכים רב ממדיים כאשר M הוא מערך רב מימדי, find(m) תחזיר את המיקום של האברים שאינם 0 במערך הפריסה >> M=[1-3 -4; 0 0 8; 9 0 8] M = >> find(m) % use to print row rather % then column vector

28 פונקצית find על מערכים רב ממדיים אם מעוניינים לקבל את מספרי השורות והעמודות של אברים אלו, צריך להשתמש ב: >> M=[1-3 -4; 0 0 8; 9 0 8] M = >> [rows, cols]=find(m); >> rows >> cols

29 מיעון באמצעות מערכים לוגיים על ידי שימוש במערכים לוגיים ובחוקי המיעון שלמדנו, ניתן לבחור ממערך נתון ערכים המקיימים תנאי לוגי: >> x = [ ]; >> x(x>3) שקול ל x(find(x>2)) מה יודפס על המסך אם נוסיף את הפקודות: >> b=[ ]; >> x(b<0)??? Logic array [ ] Num array [ ] 29

30 מיעון באמצעות מערכים לוגיים >> s='moshe'; >> t=s(s<'k') t = Mhe חוקי מיעון דומים תקפים גם למחרוזות: 30

31 פונקציות לוגיות מיוחדות xor([ ], [ ]) עוד אופרטור לוגי: xor x y xor(x,y) אופרטורים לוגיים על כל אברי מערך נתון: any, all all(grades>55) אוסף גדול של פרדיקטים: isprime, islogical, isempty, 31

32 דוגמה )ממבחן!( נתונים שני מערכי שורה a ו- b )לא ריקים(, איך ניתן לבדוק האם יש שני איברים ב- a שגדולים מכל איברי b? פתרון: A = repmat(a, [length(b), 1]); B = repmat(b,[1, length(a)]); sum(sum(a > B) == length(b))==2 32